Symmetry Breaking and Local Search Spaces
نویسندگان
چکیده
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust solvers and models. A recently observed phenomenon is the negative effect of symmetry breaking constraints on local search performance. The reasons for this are poorly understood, and we attempt to shed light on the phenomenon by testing three conjectures: that the constraints create deep new local optima; that they can reduce the relative size of the basins of attraction of global optima; and that complex local search heuristics reduce their negative effects.
منابع مشابه
Negative Effects of Modeling Techniques on Search Performance
Symmetries occur in many combinatorial problems, and a great deal of research has been done on symmetry breaking techniques for backtrack search. However, few results have been reported on the use of symmetry breaking with local search. On four classes of problem we find that adding symmetry breaking constraints to a model impairs local search performance, in terms of both execution time and se...
متن کاملSymmetry Breaking by Local Search
The presence of symmetry in constraint satisfaction problems can cause a great deal of wasted search effort, and several methods for breaking symmetries have been reported. We describe a new approach to partial symmetry breaking: using local search in the symmetry group to detect violated lex-leader constraints. The local search is interleaved with the backtrack search performed by the constrai...
متن کاملSupersymmetric Modeling for Local Search
A previous paper showed that adding binary symmetry breaking constraints to a model can degrade local search performance. This paper shows that even unary constraints are not necessarily beneficial because they can transform solutions into local minima. Furthermore, performance can be improved by the reverse of symmetry breaking: using a supersymmetric model with extra symmetry. Some improved r...
متن کاملSystems with Symmetry Breaking and Restoration
Statistical systems, in which spontaneous symmetry breaking can be accompanied by spontaneous local symmetry restoration, are considered. A general approach to describing such systems is formulated, based on the notion of weighted Hilbert spaces and configuration averaging. The approach is illustrated by the example of a ferroelectric with mesoscopic fluctuations of paraelectric phase. The infl...
متن کاملSymmetry Breaking by Nonstationary Optimisation
We describe a new partial symmetry breaking method that can be used to break arbitrary variable/value symmetries in combination with depth first search, static value ordering and dynamic variable ordering. The main novelty of the method is a new dominance detection technique based on local search in the symmetry group. It has very low time and memory requirements, yet in preliminary experiments...
متن کامل